make clean
bnfc -m haskell clafer2alloy.cf
make
rm Skelclafer2alloy.hs
svn up Skelclafer2alloy.hs
patch Absclafer2alloy.hs Absclafer2alloy.patch
patch Printclafer2alloy.hs Printclafer2alloy.patch
sh addgnu.sh